Graph Transformation in a Nutshell
نویسنده
چکیده
Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced and new formalizations proposed, often to a point where the original simple core is hardly recognizable. In this paper we provide a non-technical introduction to the basic concepts of typed graph transformation systems, completed with a survey of more advanced concepts, and explain some of its history and motivations.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملتعبیه ی هندسی درخت درنقاط داخل یک چندضلعی با حداقل تعداد خم
In this paper we consider to embed a tree T with N vertices on a set of N points inside a simple polygon on n vertices and the goal is to minimize the number of bends. The main idea of our algorithm is modeling the problem into graph matching problem and uses the graph matching algorithms. We apply the concept of error-correction transformation and find the appropriate cost function then we per...
متن کاملSpatial Transformation of Apartment-Type Housing Buildings (Case S tudy: Gaziantep, Turkey)Turkey
The aims of this s tudy is to analyse the planning and design process, basic principles and thechange-transformation process of the apartment type residential buildings in Turkey, Gaziantep city based on his torical background. The scope of the research consis ts of residential buildings built in the city of Gaziantep, which were built in the pos t-Republican period. In addition, s tate-b...
متن کاملASP in a nutshell - a desktop quick reference
php in a nutshell a desktop quick reference sbzn php in a nutshell a desktop quick reference hsandc php in a nutshell a desktop quick reference rakf php in a nutshell a desktop quick reference khbd php in a nutshell a desktop quick reference ggda php in a nutshell a desktop quick reference amoso php in a nutshell: a desktop quick reference ebooks free php in a nutshell: a desktop quick referenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 148 شماره
صفحات -
تاریخ انتشار 2004